大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

Integer Programming and Combinatoral Optimization [electronic resource] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

0
索取号：
作者：G眉nl眉k、 Oktay.、Woeginger、 Gerhard J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science-Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

0
索取号：
作者：Kulikov、 Alexander.、Vereshchagin、 Nikolay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

0
索取号：
作者：Meyden、 Ron.、Smaus、 Jan-Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号：
作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Recognition Systems 4 [electronic resource]

0
索取号：
作者：Burduk、 Robert.、Kurzy艅ski、 Marek.、Wo藕niak、 Micha艂.、呕o艂nierek、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

0
索取号：
作者：Groote、 Philippe.、Egg、 Markus.、Kallmeyer、 Laura.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software and Data Technologies [electronic resource] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers

0
索取号：
作者：Cordeiro、 Jos茅.、Ranchordas、 AlpeshKumar.、Shishkov、 Boris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

0
索取号：
作者：Vetulani、 Zygmunt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

e-Business and Telecommunications [electronic resource] : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers

0
索取号：
作者：Obaidat、 Mohammad S.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings

0
索取号：
作者：Bafna、 Vineet.、Sahinalp、 S. Cenk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning

0
索取号：
作者：Tchounikine、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Discrete Geometry for Computer Imagery [electronic resource] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings

0
索取号：
作者：Debled-Rennesson、 Isabelle.、Domenjoud、 Eric.、Kerautret、 Bertrand.、Even、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

0
索取号：
作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Technology and Managing Quality Education [electronic resource] : 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers

0
索取号：
作者：Tatnall、 Arthur.、Kereteletswe、 Omponye Coach.、Visscher、 Adrie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Aspects of Visualization [electronic resource] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers

0
索取号：
作者：Ebert、 Achim.、Dix、 Alan.、Gershon、 Nahum D.、Pohl、 Margit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

0
索取号：
作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.